221. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
222. The Logic of Logistic
پدیدآورنده : / electronic resource
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Industrial engineering,Economics, Mathematical,Mathematics,Operations Research, Management Science,Production/Logistics/Supply Chain Management,Industrial and Production Engineering,Game Theory/Mathematical Methods
رده :
E-BOOK
223. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
224. Topics in finite and discrete mathematics /
پدیدآورنده : Sheldon M. Ross.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.,Mathématiques.,Combinatieleer.,Diskrete Mathematik,Eindige wiskunde.,Grafentheorie.,Kombinatorik,Matemática.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.,Mathematics.,Mathematische programmering.
رده :
QA39
.
2
.
R65485
2000eb
225. Two-person zero-sum games /
پدیدآورنده : Alan Washburn
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Game theory.,Games of strategy (Mathematics)
رده :
QA269
226. Uncertain optimal control /
پدیدآورنده : Yuanguo Zhu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Control theory.,Uncertainty (Information theory),Artificial Intelligence.,Computational Intelligence.,Control, Robotics, Mechatronics.,Operations Research/Decision Theory.,Optimization.,Artificial intelligence.,Automatic control engineering.,Control theory.,MATHEMATICS / Calculus,MATHEMATICS / Mathematical Analysis,Operational research.,Optimization.,Uncertainty (Information theory)
رده :
QA402
.
3
227. Uncertainty Theory
پدیدآورنده : by Baoding Liu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Distribution (Probability theory).,Engineering.,Operations research.
228. Unternehmensforschung heute
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Operations research--Congresses,، Programming)Mathematics(--Congresses
رده :
T
57
.
6
.
U57
229. User s guide for LINDO and LINGO, Windows Versions
پدیدآورنده : Roe, Andrew
کتابخانه: (طهران)
موضوع : Linear programming - Software , Programming )Mathematics(
رده :
T
57
.
74
.
R63
1997
230. User's guide for lindo and lingo, windows version to accompany operations reserch: applications and algorithms
پدیدآورنده : Winston, Wayne L
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Programming )Mathematics(- Software,، Mathematical optimization- Software
رده :
T
57
.
7
W5
U8
231. برنامه‌ریزی آرمانی کاربردی
پدیدآورنده : / تالیف دیلان جونز٬ مهرداد تمیز,عنوان اصلی: Practical goal programming, c2010.,جونز,Jones
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : تحقیق عملیاتی,Operations research,برنامه‌نویسی (ریاضیات), Programming (Mathematics),بهینه‌سازی ریاضی,Mathematical optimization,برنامه‌ریزی خطی,Linear programming,a02,a04,a05,a06
رده :
T
۵۷
/
۶
/
ج
۹
ب
۴ ۱۳۹۴
232. برنامه‌ریزی آرمانی کاربردی
پدیدآورنده : / تالیف: دیلان جونز٬ مهرداد تمیز,عنوان اصلی: Practical goal programming, c2010.,جونز,Jones
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : تحقیق عملیاتی,Operations research,برنامه‌نویسی (ریاضیات), Programming (Mathematics),بهینه‌سازی ریاضی,Mathematical optimization,برنامه‌ریزی خطی,Linear programming,a02,a04,a05,a05,a06,a06
رده :
T
۵۷
/
۶
/
ج
۹
ب
۴ ۱۳۹۴
233. تحقیق در عملیات
پدیدآورنده : /حمدی طه,عنوان اصلی: .Operations research: An introduction; 8th,c2007,طه,Taha
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : تحقیق عملیاتی,Operations research,برنامه‌نویسی (ریاضیات), Programming (Mathematics),a01,a01,a02,a02
رده :
T
۵۷
/
۶
/
ط
۹
ت
۳
234. تحقیق در عملیات۲
پدیدآورنده : / مرتضی قمی‌اویلی.,پشت جلد به انگلیسی: Ali Ghomi Avili. Operations research 2.,قمی
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : تحقیق عملیاتی,Operations research,تحقیق عملیاتی,Operations research,برنامه‌نویسی (ریاضیات), Programming (Mathematics), -- راهنمای آموزشی (عالی), -- Study and teaching (Higher),a01,a01,a02,a02,a03,a03
رده :
T
۵۷
/
۶
/
ق
۸۵
ت
۳ ۱۳۹۴
235. تحقیق در عملیات
پدیدآورنده : / تالیف حمدی طاهه,عنوان اصلی: Operations research: an introduction,طه,Taha
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : تحقیق عملیاتی,Operations research,برنامه‌نویسی (ریاضیات), Programming (Mathematics),a06,a06,a08,a08
رده :
T
۵۷
/
۶
/
ط
۹
ت
۳۲ ۱۳۸۶
236. توسعه الگوریتم هوشمند برنامه‌ریزی تولید بلند مدت معادن روباز با استفاده از مفهوم تجمیع بلوکها
پدیدآورنده : نوشین آزادی
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : برنامه‌ریزی تولید بلند مدت,معادن روباز,ذخایر بزرگ مقیاس,الگوریتم ژنتیک,برنامه‌ریزی تولید بلند مدت، معادن روباز، ذخایر بزرگ مقیاس، مدل بلوکی، تجمیع بلوکها، الگوریتم ژنتیک,long-term production scheduling, open pit mines, large-scale deposits, block model, blocks aggregation, genetic algorithm
